/*
 * Interface du fichier init/main.c, la colle du noyau.
 */


#ifndef __MAIN
#define __MAIN


/*
 * kmain est la fonction principale du noyau.
 * Le noyau se lance ainsi:
 * 1) La section .init est executée. Celle-doit doit être implémentée dans
 *	le code spécifique à l'architecture (arch/), et doit initialiser le matériel.
 * 2) La section .init doit se terminer par l'appel à la fonction kmain dont la
 * déclaration est donnée ci-dessous.
*/
void kmain(void);


#endif
